Unified control flow and data dependence traces
نویسندگان
چکیده
منابع مشابه
Unified specification of control and data flow
Many signal processing systems use event driven mechanisms typically based on nite state machines (FSMs) to control the operation of computationally intensive (data ow) parts. The state machines in turn are often fueled by external inputs as well as by feedback from the signal processing portions of the system. Packet-based transmission systems are a good example for such a close interaction be...
متن کاملDependence Testing: Extending Data Flow Testing with Control Dependence
This paper presents a new approach to structural testing, called dependence testing. First we propose dependence oriented coverage criteria that extend conventional data flow oriented coverage criteria with control dependence. This allows one to capture the full dependence information of a program or specification systematically. We then describe a model checking-based approach to test generati...
متن کاملTraces of Control-Flow Graphs
This is a new applied development of trace theory to compilation. Trace theory allows to commute independent program instructions, but overlooks the differences between control and data dependencies. Control(C)-dependences, unlike data-dependences, are determined by the Control Flow Graph, modelled as a local DFA. To ensure semantic equivalence, partial commutation must preserve C-dependences. ...
متن کاملLocating Software Faults Based on Control Flow and Data Dependence
Debugging software is a difficult and timeconsuming work. Fault localization techniques are becoming extremely important. Coverage Based Fault Localization (CBFL) is very commonly used in fault location technique. Tarantula is a typical one. It uses the coverage statistics of failed execution paths and passed execution paths to calculate the suspiciousness in the software. However, since this t...
متن کاملA Unified Approach for Quality Control of Drilled Stem Test (DST) and PVT Data
Finding a representative fluid in a hydrocarbon reservoir is crucial for integrated reservoir management. In this study, a systematic approach for screening and selecting consistent fluid samples in a reservoir was developed. The model integrated quality control (QC) of well conditioning before sampling, QC of PVT data, thermodynamic modeling and compositional gradient within a reservoir. Well ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Architecture and Code Optimization
سال: 2007
ISSN: 1544-3566,1544-3973
DOI: 10.1145/1275937.1275943